Merge branch 'docs-fixes' into 'master'
authorEmmanuele Bassi <ebassi@gmail.com>
Wed, 26 Feb 2020 11:19:09 +0000 (11:19 +0000)
committerEmmanuele Bassi <ebassi@gmail.com>
Wed, 26 Feb 2020 11:19:09 +0000 (11:19 +0000)
Various documentation fixes

See merge request GNOME/gtk!1481


Trivial merge